Merge pull request #1612 from antonio-nino-diaz-arm/an/tools
authorSoby Mathew <[email protected]>
Wed, 10 Oct 2018 13:00:14 +0000 (14:00 +0100)
committerGitHub <[email protected]>
Wed, 10 Oct 2018 13:00:14 +0000 (14:00 +0100)
commit52a9e53b8cf253cdcd73265df60d9e8b03e534df
tree830653c221f5be3bd58c3c170afb2b0297e85839
parent821d3547e1532b8f720fe0ad2c8ccb84f840906d
parent750e8d807dced6cd2a523aad7be74161dc705f6e
Merge pull request #1612 from antonio-nino-diaz-arm/an/tools

tools: Make invocation of host compiler correct